- definitive specification
- лог. определяющее требование (соответствующее истинностной таблице)
English-Russian dictionary of computer science and programming. 2013.
definitive specification
Смотреть что такое "definitive specification" в других словарях:
HTTP cookie — HTTP Persistence · Compression · HTTPS Request methods OPTIONS · GET · HEAD · POST · PUT · DELETE · TRACE · CONNECT Header fields Cookie · ETag · Location · Referer DNT · … Wikipedia
Chemical file format — This article discusses some common molecular file formats, including usage and converting between them. Contents 1 Distinguishing formats 2 Chemical Markup Language 3 Protein Data Bank Format 4 G … Wikipedia
Patent — (v. lat.), 1) ein offener Brief, etwas zu beglaubigen; 2) obrigkeitliche schriftliche Bekanntmachung einer wichtigen Sache durch Anschläge, so der Besitzergreifung eines erledigten Thrones, eines abgetretenen Landes; 3) schriftliche Bestallung… … Pierer's Universal-Lexikon
Portable Network Graphics — PNG A PNG image with an 8 bit transparency channel (top). The same image is overlaid onto a checkered background (botto … Wikipedia
Domain Name System — The Domain Name System (DNS) is a hierarchical distributed naming system for computers, services, or any resource connected to the Internet or a private network. It associates various information with domain names assigned to each of the… … Wikipedia
Portable Document Format — PDF redirects here. For other uses, see PDF (disambiguation). Portable Document Format Adobe Reader icon Filename extension .pdf Internet media type application/pdf application/x pdf application/x bzpdf application/x gzpdf … Wikipedia
Handley Page Halifax — infobox Aircraft name =Halifax type =Heavy bomber manufacturer =Handley Page caption = Handley Page Halifax B.III designer = first flight =24 September, 1939 introduced =November 1940 retired =1961 (Pakistani Air Force) status = primary user… … Wikipedia
Comet (programming) — Comet is a web application model in which a long held HTTP request allows a web server to push data to a browser, without the browser explicitly requesting it.[1][2] Comet is an umbrella term, encompassing multiple techniques for achieving this… … Wikipedia
FORME — L’histoire du concept de forme et des théories de la forme est des plus singulières. Nous vivons dans un monde constitué de formes naturelles. Celles ci sont omniprésentes dans notre environnement et dans les représentations que nous nous en… … Encyclopédie Universelle
DocBook — Filename extension .dbk, .xml Internet media type application/docbook+xml Developed by OASIS Type of format markup language Extended from SGML, XML … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
